机译:带无名假人的Lambda微积分符号,一种自动公式处理工具,适用于Church-Rosser定理
机译:构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
机译:1.5-
机译:实验验证的方法来测量
机译:霍华德矢量符号系统对型λ - 微积分系统终止证明的简化应用
机译:数学和物理中图形表示的微积分基本定理的学生应用。
机译:统计递延加权...公式的和性及其在相关逼近定理中的应用
机译:具有无名假人的Lambda演算符号,一种自动公式处理工具,适用于Church-Rosser定理